more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 17791

[filed under theme 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic ]

Full Idea

Second-order logic is a powerful tool of definition: by means of it alone we can capture mathematical structure up to isomorphism using simple axiom systems.

Gist of Idea

Only second-order logic can capture mathematical structure up to isomorphism

Source

John Mayberry (What Required for Foundation for Maths? [1994], p.412-1)

Book Ref

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.412